原位反应合成Nb掺杂Al2O3/TiAl复合材料的显微结构分析

利用Al-Ti-TiO2体系原位反应合成了Nb掺杂Al2O3／TiAl复合材料。借助XRD和SEM研究了Nb掺杂Al2O3／TiAl的显微结构以及Nb引入量对复合材料显微结构的影响。结果表明，复合材料由TiAl、Ti3Al、Al2O3、Nb和NbAl3相构成，细小Al2O3颗粒分布于基体晶粒交界处，存在一定的团聚；Nb元素引入量的高低，可调节产物中TiAl和Ti3Al的相对含量，随Nb含量的增大，TiAl含量逐渐减少，Ti3Al则逐渐增大；同时，基体晶粒和Al2O3颗粒均有所细化，且分布逐渐均匀，材料的均匀性得到改善。     

航空高压稀土永磁直流电动机

 阐述航空高压270V稀土永磁直流电动机的设计原则、工艺措施及计算和试验结果。解决了高空换向难题之后电动机能满足航空电机的技术要求,采用传统的有刷结构是完全可行的。     

“田口式质量损失函数”的应用

利用质量损失函数，讨论产品质量波动给社会带来的损失，并将其应用于企业生产中，使企业改进了产品质量，提高了效益。这说明，在质量管理中，解决“质量”问题时，必须把改进质量的焦点移向产品的设计和开发阶段，即从以往的“产品出厂后的检查或加工过程中的控制”的质量观，推向“产品设计阶段的优化”，从“下游管理”转向“上游管理”，使产品设计或加工过程设计成为保证产品质量优化的关键。     

多层频率选择表面的分析

本文科用矩量法和广义散射矩阵理论分析了平面波入射到多层频率选择表面的电磁散射特性。首先引入广义波导的概念,将单层频率选择表面(FSS)上每个单元看成两个广义波导的接头,广义波导中的本征模是周期性结构中的Floquet模,然后根据等效原理和边界面上切向场量的连续性条件得到了一个关于广义波导中模式系数的方程,用矩量法求解可得波导接头的广义散射参量。最后运用广义散射矩阵理论计算了多层FSS总的散射参量。作为示例,文中对由矩形与圆形孔阵所组成的单层FSS和双层矩形孔阵FSS的散射特性作了计算,数值结果与已有文献中给出的数据极为一致。     

连续小波变换应用于密集模态参数识别

用连续小波变换方法进行模态参数识别时,减小小波函数的带宽可以提高小波变换的频率分辨能力,但同时也会增大边沿效应,影响密集模态参数识别的精度。本文提出了极值位置方法,在模态耦合严重的小波脊附近,找到模态解耦最好的尺度,在此尺度上进行频率和阻尼的识别,可以获得较好的识别精度。使用Morlet小波函数,对GARTEUR飞机模型中的三阶密集模态进行识别,验证了该方法的有效性。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

基于聚束照射SAR成像算法的条带SAR数据处理

为实现聚束照射合成孔径雷达（SAR）与条带模式SAR成像算法上的统一，本文利用两种模式之间的内在联系，将条带模式SAR数据分块处理，等效成聚束模式数据。然后，用聚束照射SAR成像算法实现条带数据的成像处理。针对具体数据，文中还对成像区大小的选择作了分析，并推导出成像长度与滤波器带宽应当满足的关系式。包场数据的处理严格证实了理论分析并验证了本文运用的方法。     

切向结构永磁同步电机中磁钢厚度对性能的影响

提出了切向结构永磁同步电机中磁钢厚度的约束条件;依据电机学理论并结合有限元计算方法,研究了气隙长度恒定时不同极对数下气隙磁密、每极磁通与磁钢厚度的关系,探讨了磁钢厚度对电机的过载能力、铁耗等性能的影响;在气隙长度发生变化时,为了保证漏磁大小不变,讨论了气隙与非导磁衬套厚度、磁钢厚度的关系。并指出:(1)气隙恒定时,随着磁钢厚度的增加,不同极对数时磁钢体积增大所提供的磁势对每极磁通的影响有所不同;铁耗和过载能力随磁钢厚度的增加而增大。(2)气隙增大时,为了保证气隙磁密和漏磁不变,必须增加非导磁衬套的厚度。(3)极对数增加时,减小磁钢厚度能提高电机的性价比。     

采用TLC方法的超机动飞行控制系统设计

基于轨迹线性化控制(Trajectory linearization control,TLC)方法,研究了超机动飞机飞行控制系统的设计问题。首先简要介绍了TLC方法的设计思想;然后根据奇异摄动理论,将超机动飞行控制系统分成快慢两个回路,并为其分别设计了轨迹线性化控制器;最后分别用所设计的控制器和已有的动态逆控制器对某型歼击机进行了赫布斯特机动仿真。仿真结果和对比分析表明,所设计的TLC控制器是有效的,且比动态逆控制器具有更好的控制跟踪性能。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.